int run() {
	while (false) write(42);
}
